$\forall$$a$, $b$, $n$:$\mathbb{Z}$. (($a$+$n$) $\leq$ ($b$+$n$)) $\Rightarrow$ ($a$ $\leq$ $b$)